Merge branch 'Master_checkradio_refresh' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 12:36:12 +0000 (12:36 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 12:36:12 +0000 (12:36 +0000)
commitbaae2920dc6a6056e7e236080a927aa846073f96
tree8f1b3f1a72063e5bc162f11aefe4b4f5fb769877
parentff78adb25d74d933abd699119cdca6c69aa3a780
parent832419b2c3ea4ca92f0588f71597b02825330fe8
Merge branch 'Master_checkradio_refresh' into 'master'

Refresh check/radio styling, ported from gtk3

See merge request GNOME/gtk!1175